$\forall$$A$:Type, ${\it as}$:($A$ List), $a$:$A$, $i$:$\mathbb{N}$. ${\it as}$[$i$]?$a$ $\in$ $A$